Sheaf of modules - PDFSEARCH.IO - Document Search Engine

Sheaf of modules
Results: 22

#	Item
11	Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2000-03-14 14:04:54 Functors Standard ML Sheaf Natural transformation Limit Combinatorial species Map Grothendieck topology Yoneda lemma Category theory Abstract algebra Mathematics
12	Transparent Modules with Fully Syntactic Signatures Zhong Shao Dept. of Computer Science Yale University New Haven, CT[removed]removed] Add to Reading List Source URL: flint.cs.yale.edu Language: English - Date: 2000-03-14 14:04:42 Mathematics Standard ML Natural transformation Sheaf Limit Grothendieck topology Module Exact functor Yoneda lemma Category theory Abstract algebra Functors
13	DERIVED CATEGORIES OF SCHEMES Contents 1. Introduction 2. Conventions 3. Derived category of quasi-coherent modules Add to Reading List Source URL: stacks.math.columbia.edu Language: English - Date: 2015-04-03 17:14:19 Algebra Sheaf theory Sheaf Coherent sheaf Derived functor Direct image functor Derived category Flat morphism Adjoint functors Abstract algebra Category theory Homological algebra
14	ANCHOR-LOC2 MODULES ® Anchor-Loc 2 ceramic fiber modules extend the successful performance of standard Anchor-Loc folded modules to a product form Add to Reading List Source URL: www.unifrax.com.au Language: English - Date: 2011-05-23 00:51:00 Modularity Loadable kernel module Analysis Algebraic analysis D-module Sheaf theory
15	Theory and Applications of Categories, Vol. 28, No. 22, 2013, pp. 696–732. TIGHT SPANS, ISBELL COMPLETIONS AND SEMI-TROPICAL MODULES SIMON WILLERTON Abstract. In this paper we consider generalized metric spaces in the Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-08-22 11:25:00 Tight span Metric space Continuous function Sheaf Metric map Norm Metric Complete metric space Functor Geometry Metric geometry Mathematics
16	Theory and Applications of Categories, Vol. 27, No. 13, 2013, pp. 263–326. GENERALIZED HOPF MODULES FOR BIMONADS MARCELO AGUIAR AND STEPHEN U. CHASE Abstract. Brugui`eres, Lack and Virelizier have recently obtained a Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-01-28 13:40:00 Adjoint functors Functors Monoidal categories Coalgebra Monad Hopf algebra Limit Sheaf Universal property Abstract algebra Category theory Algebra
17	Theory and Applications of Categories, Vol. 27, No. 16, 2013, pp. 393–444. COMPOSITION OF MODULES FOR LAX FUNCTORS ´ ROBERT PARE Abstract. We study the composition of modules between lax functors of weak double Add to Reading List Source URL: www.emis.de Language: English - Date: 2013-04-03 13:19:00 Higher category theory Functors Natural transformation Bicategory Functor Grothendieck topology Universal property Vector space Sheaf Algebra Category theory Mathematics
18	Theory and Applications of Categories, Vol. 29, No. 28, 2014, pp. 819–835. ´ A SERRE-SWAN THEOREM FOR GERBE MODULES ON ETALE LIE GROUPOIDS CHRISTOPH SCHWEIGERT, CHRISTOPHER TROPP AND ALESSANDRO Add to Reading List Source URL: www.emis.de Language: English - Date: 2014-11-17 11:47:00 Algebraic topology Differential topology Homological algebra Sheaf theory Vector bundles Functor Sheaf Category Projective module Abstract algebra Topology Algebra
19	Part II. DG-modules and equivariant cohomology. The main purpose of the three sections 10,11,12 is to prove theorem[removed]the detailed algebraic description of the categories Db(pt) and D+(pt) for a connected Add to Reading List Source URL: www.math.tau.ac.il Language: English - Date: 2008-09-06 15:25:16 Homological algebra Spectral sequence Derived functor Sheaf D-module Exact functor Adjoint functors Ext functor Group cohomology Abstract algebra Algebra Mathematics
20	Proc. 21st Symp. Principles of Programming Languages, 1994, pages 109–122. Manifest types, modules, and separate compilation Xavier Leroy ∗ Add to Reading List Source URL: caml.inria.fr Language: English - Date: 2011-11-23 03:22:15 Computing Type system Forgetful functor Type safety Module Monad Type inference Sheaf Limit Type theory Software engineering Programming language theory

UPDATE